Sum_(k=0)^(floor(n/2)) binomial(n-k+1,k)